If F X {{ X [ 1 X ] [ 2 X ] [ N X ] X Ne 0 K X 0 }